Revision: tla-tools--devo--0--patch-80
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Fri Sep 17 14:45:03 JST 2004
Standard-date: 2004-09-17 05:45:03 GMT
Modified-files: ChangeLog tla-commit-merge.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-80
Summary: tla-commit-merge: Only mention direct merges in summary

